"Mark E. Stickel" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science)

Автор: Mark E. Stickel

Категория: Компьютеры

Размер книги: 44.87 Mb

CADE Automated Deduction 10 conf

Автор: Mark E. Stickel

Категория: CsLn_

Размер книги: 5.80 Mb